and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
991	This poster describes the principal elements of a methodology - and its associated computational system - that generates graded categories of intonation contours from sets of instances belonging to these categories. At t Add to Reading List Source URL: www.labphon.org Language: English - Date: 2014-10-07 13:13:53 Tone Prosody Cognitive science Phonology Intonation Pitch contour Fuzzy logic Fuzzy set Prosodic unit Prototype theory
992	Tutorial Proposal on Probabilistic Fuzzy Systems Venue: 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2013), Beijing, China Date: July 6 – 11, 2014 Add to Reading List Source URL: www.conference123.org Language: English - Date: 2014-07-16 23:21:57 Artificial intelligence Fuzzy logic Computational intelligence Fuzzy set Fuzzy control system Soft computing IEEE Transactions on Fuzzy Systems IEEE Computational Intelligence Society Type-2 fuzzy sets and systems Neuro-fuzzy
993	U UNPLUGGED Real-Life Algorithms: Paper Airplanes Lesson time: 20 Minutes Basic lesson time includes activity only. Introductory and Wrap-Up suggestions can be used Add to Reading List Source URL: code.org Language: English - Date: 2016-08-20 03:44:00 Teaching Mathematics education Algorithms Mathematical logic Theoretical computer science Worksheet Lesson Medical algorithm Lesson plan
994	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
995	M IDDLESEX A LGORITHMS DAY (MAD! 2014) Foundations of Computing Group, Department of Computer Science, School of Science and Technology, Middlesex University, London Add to Reading List Source URL: www.cs.mdx.ac.uk Language: English - Date: 2014-03-14 02:26:32 Theoretical computer science Combinatorial optimization Algorithm Mathematical logic Search algorithm Combinatorics LEMON Matching Algorithm Selection
996	Analyzing Interrupts and Information Retrieval Systems Using Begohm Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Algorithm Mathematical logic Theoretical computer science
997	Considerations Regarding Human-Level Artificial Intelligence Nils J. Nilsson () Robotics Laboratory Department of Computer Science Stanford University Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-01-22 14:14:52 Artificial intelligence Programming paradigms Computational neuroscience Philosophy of artificial intelligence Futurology Intelligent agent Intelligence Knowledge representation and reasoning Logic programming Robotics Existential risk from artificial general intelligence Artificial general intelligence
998	Proceedings of the Electroacoustic Music Studies Network Conference Electroacoustic Music Beyond Performance, Berlin, June 2014 www.ems-network.org The Deadly Embrace Between Music Software and Its Users Miller Puckette Add to Reading List Source URL: msp.ucsd.edu Language: English - Date: 2014-11-03 22:57:12 Software Visual programming languages Computer programming Max Computer music Free software Computing Miller Puckette Logic Pro Computer program Source code Integrated development environment
999	Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Ontology Proof theory Methods of proof Automated theorem proving Abox Tbox Sequent Method of analytic tableaux Description logic Calculus Blocking

UPDATE